1. Combinatorial Set Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematical Logic and Foundations. ;
![](/design/images/bookmore.png)
2. Frege. philosophy of mathematics
پدیدآورنده : Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,Foundations ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
D85F7
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Frege's philosophy of mathematics
پدیدآورنده : edited by William Demopoulos
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematics -- Philosophy,Mathematics -- Foundations,Logic, Symbolic and mathematical
رده :
QA
.
F74
8
.
6
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Frege's philosophy of mathematics
پدیدآورنده :
موضوع : ، Mathematics-- Philosophy,، Mathematics-- Foundations,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Handbook of Set Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;
![](/design/images/bookmore.png)
7. Lesniewski's systems of logic and foundations of mathematics
پدیدآورنده : Urbaniak, Rafal
موضوع : ، Logic, Symbolic and mathematical.,، Mathematical foundations ; Logic ; Philosophy of science,، SCIENCE / Philosophy & Social Aspects
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Logic and arithmetic
پدیدآورنده : David Bostock
موضوع : Arithmetic- Foundations,Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Symbolic logic and the real number system; an introduction to the foundations of number systems
پدیدآورنده : Lightstone, A H
کتابخانه: (طهران)
موضوع : ، Arithmetic -- Foundations,، Logic, Symbolic and mathematical
رده :
QA
255
.
L55
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. 1940-The search for mathematical roots, 1870
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
![](/design/images/bookmore.png)
11. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J., 6591-
کتابخانه: (طهران)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R68T4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : / Richard J. Rossi
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)